Knowledge Base Updates
نویسنده
چکیده
We present syntactic characterizations of propositional update operators based in the PMA approach Winslett, 1988a, Winslett, 1988b]), and develop algorithms for computing the updated database on the basis of this characterization. Unlike any other previous work in this area, the methods presented here do not require direct manipulation or explicit storage of complete models of the database. They also appear to be easily extensible to other update operators based in the idea of minimal change.
منابع مشابه
Updates of argumentation frameworks
Two main topics are studied in this work. First, updates of assumption-based frameworks over deductive systems. Second, a problem of an inertia of an admissible set after an update of an abstract argumentation framework. We consider an assumption-based framework over a logic program as composed of three parts – an argumentation framework, a deduction machinery and a knowledge base (a logic prog...
متن کاملProgramming 1 An abductive framework for computing knowledge base updates ∗
This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed...
متن کاملOn Propositional Knowledge Base Updates
It is well known that the minimal change principle was widely used in propositional knowledge base updates. However, recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive eeects. In this paper we propose a new method for the knowledge base update based on a persistence principle, which pr...
متن کاملA Unifying Perspective on Knowledge Updates
We introduce an abstract update framework based on viewing a knowledge base as the set of sets of models of its elements and performing updates by introducing additional interpretations – exceptions – to the sets of models of elements of the original knowledge base. In [36], an instantiation of this framework for performing rule updates has been shown to semantically characterise one of the syn...
متن کاملAn abductive framework for computing knowledge base updates
This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed...
متن کامل1996-Updating Knowledge Bases with Disjunctive Information
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988), are generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two different approaches to deal with this problem one is called the nae’pzirnal chara...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992